north korea troops in russia